#ifndef _GRATE_ORACLE_H_
#define _GRATE_ORACLE_H_

#include "dfa.h"
#include "input_data.h"
#include "grate_config.h"

double calc_grate_oracle(dfa * DFA, const input_data & INPUT, const grate_config & CONFIG);

#endif
